| emsoft | participants

Panagiotis Kyriakis

EMSOFT 2019: 19th International Conference on Embedded Software

Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach

Panagiotis Kyriakis, Jyotirmoy V. Deshmukh, and Paul Bogdan